$\forall$${\it the\_es}$:event\_system\{i:l\}, $e$:es{-}E(${\it the\_es}$). es{-}val(${\it the\_es}$; $e$) $\in$ es{-}valtype(${\it the\_es}$; $e$)